翻訳と辞書
Words near each other
・ Angeli Vanlaanen
・ Angeli, Finland
・ Angelia
・ Angelia (disambiguation)
・ Angelia (song)
・ Angelia Bibbs-Sanders
・ Angelia Layton
・ Angelia Ong
・ Angelia Robinson
・ Angelic
・ Angelic (band)
・ Angelic acid
・ Angelic Gospel Singers
・ Angelic language
・ Angelic Layer
Angelic non-determinism
・ Angelic Organics
・ Angelic Pretty
・ Angelic Runes
・ Angelic Salutation (Stoss)
・ Angelic script
・ Angelic Sisters of St. Paul
・ Angelic tongues
・ Angelic Upstarts
・ Angelica
・ Angelica (band)
・ Angelica (CDP), Wisconsin
・ Angelica (character)
・ Angelica (dance)
・ Angelica (disambiguation)


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Angelic non-determinism : ウィキペディア英語版
Angelic non-determinism

A term coined by C.A.R Hoare, which describes the execution of a non-deterministic program where all choices that are made favor termination.


抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Angelic non-determinism」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.